1. A formalization of set theory without variables /
Author: by Alfred Tarski and Steven Givant.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
Classification :
QA248
.
T37
1987
2. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
Classification :
QA9
.
A5
B489
2000
3. New essays on Tarski and philosophy
Author: edited by Douglas Patterson
Library: Library of Mofid University (Qom)
Subject: ، Tarski, Alfred,Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
Classification :
QA8
.
4
.
N49
2008
4. New essays on Tarski and philosophy
Author: / edited by Douglas Patterson
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Tarski, Alfred.,Mathematics--Philosophy,Logic, Symbolic and mathematical--Philosophy
Classification :
QA
,
8
.
4
,.
N49
,
2008
5. New essays on Tarski and philosophy
Author: edited by Douglas Patterson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Tarski, Alfred,، Mathematics -- Philosophy,Philosophy ، Logic, Symbolic and mathematical
Classification :
QA
8
.
4
.
N493
6. New essays on Tarski and philosophy
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Tarski, Alfred. ; Mathematics ; Philosophy. ; Logic, Symbolic and mathematical ; Philosophy. ;
7. Proceedings
Author: Tarski Symposium, 1791, University of California, Berkeley
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
Classification :
QA
7
.
T34
1971
8. Proceedings of the Tarski Symposium : an International Symposium, held to Honor Alfered Tarski on the occasion of his seventieth birthday
Author: edited by Leon Henkin ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresseys, essays, lectures ، Mathematics,Bibliography ، Tarski, Alfred,Addresses, essays, lectures ، Logic, Symbolic and mathematical
Classification :
QA
1
.
P7
Vol
.
25
9. <The> theory of models
Author: / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
I5
1965
10. The theory of models
Author: edited by J.W. Addison, Leon Henkin, Alfred Tarski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
11. The theory of models; proceedings
Author: Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
Classification :
BC
135
.
I586
1963
